Removed camlp4-coq-fix now fixed upstream.
authorSven Luther <luther@debian.org>
Thu, 19 Aug 2004 16:58:06 +0000 (16:58 +0000)
committerSven Luther <luther@debian.org>
Thu, 19 Aug 2004 16:58:06 +0000 (16:58 +0000)
commit36108dcd9f7a6f7f6948c6d9b50ab6dc53432695
tree86bba95b502cf14a081acbc874c71016366458bd
parent51c1f59845c7248e1e830747e160ee859f8c52b1
Removed camlp4-coq-fix now fixed upstream.
Added ocamlmklib man page, courtesy of Samuel Mimram.
debian/changelog
debian/patches/00list
debian/patches/camlp4-coq-fix.dpatch [deleted file]
debian/patches/man-ocamlmklib.dpatch [new file with mode: 0644]
debian/patches/objinfo.dpatch
debian/patches/versioned_libdir.dpatch